reasoning something out